科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:符号模型使用约简检查承诺协议
Mohamed El-menshawy; Jamal Bentahar; Rachida Dssouli;
机译:公告协议的符号模型检查
机译:OFMC:安全协议的符号模型检查器
机译:用于符号模型检查的保留反例的约简
机译:使用减少检查承诺协议的符号模型
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:安全协议的定向符号模型检查
机译:基于符号模型检验的大型模型可诊断性实用形式验证
机译:动态模型修剪的符号模型检查
机译:使用混合显式和符号模型检查的软件验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。